|
|
Mobile Cryptocurrency Wallet Based on zk-SNARKs and Smart Contracts
Slávka, Samuel ; Perešíni, Martin (oponent) ; Homoliak, Ivan (vedoucí práce)
The goal of this thesis is to propose and implement a framework for cryptocurrency wallets. The framework optimizes light client storage and bandwidth requirements in mobile devices. We propose a side-chain mechanism that validates blockchain header chains and creates zero-knowledge proofs. Furthermore, the framework stores the results of proof verification inside an Ethereum Smart contract. The Smart contract supports fork handling and storing header chains for multiple different blockchains. Light mobile clients using this framework can update their local header chain from checkpoints created by the proof verifications results stored in the Smart Contract. This thesis includes an implementation of a mobile wallet using this framework for synchronization with multiple blockchains.
|
|
| |
|
|
Mobile Cryptocurrency Wallet Based on zk-SNARKs and Smart Contracts
Slávka, Samuel ; Perešíni, Martin (oponent) ; Homoliak, Ivan (vedoucí práce)
The goal of this thesis is to propose and implement a framework for cryptocurrency wallets. The framework optimizes light client storage and bandwidth requirements in mobile devices. We propose a side-chain mechanism that validates blockchain header chains and creates zero-knowledge proofs. Furthermore, the framework stores the results of proof verification inside an Ethereum Smart contract. The Smart contract supports fork handling and storing header chains for multiple different blockchains. Light mobile clients using this framework can update their local header chain from checkpoints created by the proof verifications results stored in the Smart Contract. This thesis includes an implementation of a mobile wallet using this framework for synchronization with multiple blockchains.
|
|
|
Busy Beaver Problem
Kropitz, Pavel ; Holan, Tomáš (vedoucí práce) ; Mráz, František (oponent)
Práca mala za úlohu vyvinúť a implementovať optimalizačné metódy, ktoré by našli uplatnenie pri riešení busy beaver problému rádu 5+. Výsledkom práce je teoretická časť a jej implementácia v podobe dvoch programov - simulátora turingových strojov podrobne zobrazujúceho výpočet stroja s aplikáciou teórie a programu prehľadávajúceho priestor turingových strojov. Ten bol spustený pre turingove stroje o štyroch až šiestich stavoch. Kvalitu metód preukázal malým počtom strojov, ktorých správanie nedokázal odhaliť a nájdením nového rekordného stroja - kandidáta na busy beavera rádu 6.
|
|
|
Středoškolská matematika vysokoškolsky
Kučera, Jiří ; Bečvář, Jindřich (vedoucí práce) ; Staněk, Jakub (oponent)
Práce je určena k samostudiu absolventů středních škol. Připravuje studenta, který se chystá na matematicky zaměřenou vysokou školu. Seznamuje jej s teoretickým přístupem k matematice. K tomuto účelu byla vybrána témata mocniny, odmocniny, logaritmy a rovnice, které tyto objekty obsahují. Student tak má příležitost osvojit si vysokoškolský přístup k matematice na tématech, která by měl ze střední školy dokonale ovládat. Vedle toho mu práce umožňuje prohloubit si znalosti oněch témat a setkat se s těžšími a neobvyklými příklady.
|
|
|
Počátky řecké matematiky - Thalés, Pythagoras a Eukleidés
Ebelová, Gabriela ; Kvasz, Ladislav (vedoucí práce) ; Jančařík, Antonín (oponent)
Název práce: Počátky řecké matematiky - Thalés, Pythagoras a Eukleidés Autor práce: Gabriela Ebelová Katedra: Katedra matematiky a didaktiky matematiky Vedoucí práce: Prof. RNDr. Ladislav Kvasz, Ph.D. Práce se zabývá novým pohledem na historii matematiky v Řecku a jeho využitím při výuce matematiky v dnešní době. V první části jsou představeni tři matematici řecké doby a to Tháles, Pythagoras a Eukleidés. Je popsán jejich život a významná díla. Druhá část je věnována rozboru knihy Arpáda Szaba The Begginings of Greek Mathematics. Je zde představen jeho odlišný pohled na historii řecké matematiky. Obsahem třetí a poslední části je využití historie při výuce matematiky. Také porovnání výukových metod v historickém Řecku a současné době. Klíčová slova: historie matematiky, Arpád Szabó, výuka matematiky
|
|
|
Webová aplikace pro výuku matematické logiky na střední škole
Moravec, Luboš
Webová aplikace pro výuku matematické logiky na střední škole Luboš Moravec Abstrakt: Hlavní částí práce jsou webové stránky určené především pro studenty středních škol , které slouží k výuce matematické logiky a jsou rozděleny na dvě části - výklad a testy. Výklad členěný do sedmi kapitol nejdříve vysvětluje pojem výroku a jeho negace, dále se zabývá základními logickými spojkami (konjunkce, disjunkce, implikace, ekvivalence), vyhodnocováním pravdivosti a negováním složených výroků, využitím kvantifikátorů a negací výroků s nimi, množinovými operacemi, Vennovými diagramy a na závěr jsou probrány důkazové techniky. Výklad je doplněn sérií pěti testů sloužících k ověření osvojených znalostí. Otázky v testech jsou náhodně vybírány z několika variant, což umožňuje testy opakovat s různými otázkami. Vlastní text práce obsahuje uživatelskou a programátorskou dokumentaci a tištěnou podobu výkladových kapitol.
|
|
|
Důkazní prostředky v civilním procesu
Navrátilík, Šimon ; Sedláček, Miroslav (vedoucí práce) ; Smolík, Petr (oponent)
Téma této diplomové práce je Důkazní prostředky v civilním procesu. Dokazování je nejdůležitější části civilního soudního řízení, a proto tato práce předkládá jeho ucelený souhrn společně s přehledem důkazních prostředků v civilním soudním řízení běžných. Tato práce je členěna do tří hlavních částí s mnoha subkapitolami. První část se zabývá procesem dokazování obecně. Popisuje jeho průběh, hlavní principy a zásady, které jej ovládají. Stejně tak se tato část zaměřuje na dílčí problematiku při dokazování jako je míra důkazu nebo dokazování negativních skutečností. V neposlední řadě se zabývá povinností tvrdit a prokazovat skutečnosti a jejich rozdělení mezi účastníky řízení. Druhá část se zabývá důkazními prostředky výslovně v občanském soudním řádu upravenými. Tyto důkazní prostředky se v praxi nejčastěji vyskytují v řízení před soudem, proto je jejich uplatnění věnuje řada textů i soudních rozhodnutí. Přesto tato část nastiňuje, jak se jednotlivé důkazní prostředku postupem času vyvíjely do současné podoby. Třetí část se zabývá důkazními prostředky v občanském soudním řádu neupravenými. Z těch je nejrozšířenějším zvukový a video záznam, u kterých je však zásadní otázka jejich přípustnosti ve světle práva na ochranu, která v poslední době prodělala značný vývoj s posunem ve směru k jejich častější...
|
|
| |
|
|
Pokročilé partie planimetrie
Hajmová, Kateřina ; Štěpánová, Martina (vedoucí práce) ; Moravcová, Vlasta (oponent)
Cílem diplomové práce je představit řadu poznatků z pokročilé planimetrie, které lze dokázat užitím znalostí středoškolské geometrie. Vybraná tvrzení se věnují vlastnostem čtverců mající společný vrchol (Finslerova-Hadwigerova věta, Věta o čtyřech čtvercích, Bottemaova věta), význačným bodům rovinných útvarů (Věta o Gergonnově bodě, Věty o Švrčkově bodě, Věty o Simsonově přímce či Miquelovy věty), Feuerbachově kružnici a její souvislosti s Eulerovou přímkou. Dále je zde uvedena Reimova věta, Napoleonova věta a Thébaultova věta. Práce obsahuje mnoho ilustrací vytvořených v matematickém softwaru Geogebra, které jsou dostupné online v interaktivní podobě.
|
host ::
RSS.